các định lý bất toàn của gödel câu

• Các định lý bất toàn của Gödel là hai định lý nổi tiếng về logic toán học mô tả về giới hạn vốn có của mọi hệ thống rõ ràng chính thức có khả năng mô hình hóa số học cơ bản.
• Sử dụng tranh luận đường chéo của Cantor, các định lý bất toàn của Gödel là hai trong số những định lý đầu tiên có sự liên hệ gần gũi về sự giới hạn của các hệ thống chính thức.